#include <vector>
#include "ast.h"
#include "bmc.h"

using namespace cilast;


int main(int argc, char *argv[]) {
    file* cFile = parse("/Users/gdhuang/Dropbox/STTT/ltlbmc/example/test.i");
    bmc(cFile).run(3,3);
    return 0;
}

